Instance Verification Kit (IVK)

mutex lock @ [1510+31+/linux-3.19-rc1/drivers/input/serio/libps2.c]
Instance Signature: cmd_mutex

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
cypress_ps2_ext_cmd [1624+19+/linux-3.19-rc1/drivers/input/mouse/cypress_ps2.c]
cypress_ps2_read_cmd_status [2509+27+/linux-3.19-rc1/drivers/input/mouse/cypress_ps2.c]
fsp_page_reg_read [5840+17+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
fsp_page_reg_write [6670+18+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
fsp_reg_read [2492+12+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
fsp_reg_write [4000+13+/linux-3.19-rc1/drivers/input/mouse/sentelic.c]
ps2_begin_command [1466+17+/linux-3.19-rc1/drivers/input/serio/libps2.c]
ps2_command [6133+11+/linux-3.19-rc1/drivers/input/serio/libps2.c]
ps2_drain [1934+9+/linux-3.19-rc1/drivers/input/serio/libps2.c]
ps2_end_command [1650+15+/linux-3.19-rc1/drivers/input/serio/libps2.c]
psmouse_activate [29997+16+/linux-3.19-rc1/drivers/input/mouse/psmouse-base.c]
psmouse_deactivate [30426+18+/linux-3.19-rc1/drivers/input/mouse/psmouse-base.c]